$<\mathbb{N}$,+$>$ $\in$ GrpSig